formal logic أمثلة على

أمثلة

1. Formal logic is not used to determine whether or not an argument is true.
   لا يُستخدم المنطق الرسمي لتحديد ما إذا كانت الحجة صحيحة أم لا.
2. Keith Devlin has been researching the use of mathematics and formal logic in implementing Heuer's ACH paradigm.
   وقد بحث كيث ديفلين عن استخدام الرياضيات والمنطق الرسمي في تنفيذ نموذج أش هوير.
3. The development of formal logic played a big role in the field of automated reasoning, which itself led to the development of artificial intelligence.
   لعب تطوير المنطق الرياضي دورًا كبيرًا في مجال التفكير الآلي، والذي أدى بدوره إلى تطوير الذكاء الإصطناعي.
4. However, formal logic makes no such guarantee if any premise is false; the conclusion can be either true or false.
   وبكل الأحوال فإن المنطق الرسمي لا يقدم اي ضمانات في حال كون أي فرضية خاطئة وحينها يمكن أن يكون الاستنتاج صحيحًا أو خاطئًا.
5. His laboratory at Stanford (SAIL) focused on using formal logic to solve a wide variety of problems, including knowledge representation, planning and learning.
   وقال في مختبر ستانفورد (شراع) الرسمية التي تركز على استخدام المنطق لحل مجموعة واسعة من المشاكل، بما في تمثيل المعرفة، والتخطيط والتعليم.